Formal Approach for the Coherence Control of SMIL Documents
نویسندگان
چکیده
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The question addressed by this paper is whether SMIL documents can be easily modelled by TPN model. For this purpose, we show how to translate a specification of a given document SMIL into a TPN. We have extended the TPN model with component concept which is the building block in the translation procedure. The reachability analysis of TPN allows to verify the consistency proprieties of a document. Furthermore, our model can be used to define scheduling policies.
منابع مشابه
Towards a Formal Approach for Modelling SMIL Documents
We present in this paper a hierarchical and temporal extension of Petri Nets for the incremental authoring of SMIL multimedia documents. The complexity of these documents can lead authors, in some cases, to specify synchronization relations which could not be satisfied during the presentation of the document, what characterizes the occurrence of inconsistencies; a consistency checking mechanism...
متن کاملUsing a Formal Method to Verify the Temporal Semantics of SMIL Documents
Several works have been dedicated to the authoring and presentation of interactive multimedia applications to be distributed over the web, but few of them address semantic verification issues of these documents. This paper presents a formal approach for the design and semantic verification of SMIL documents which relies on the classical reachability analysis performed on RT-LOTOS specifications...
متن کاملAn Approach for the Automatic Generation of RT-LOTOS Specifications from SMIL 2.0 Documents
The flexibility of high level authoring models (such as SMIL 2.0) for the edition of complex Interactive Multimedia Documents can lead authors, in certain cases, to specify synchronization relations which could not be satisfied during the presentation of the document, thus characterizing the occurrence of temporal inconsistencies. For this reason, we need to apply a methodology which provides...
متن کاملAbout the Semantic Verification of SMIL Documents
This paper presents a formal approach based on the RTLOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS specifications provides the verification of consistency properties of a document and, later on, it also enables the generation of a valid scheduling graph for its presentation. This graph characterizes the reference behavi...
متن کاملModeling and Analyzing SMIL Documents in SAM
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaining the time-ordered relations among the component media is vital to satisfying quality of service (QoS) requirements. This paper proposes a formal approach to modeling and analyzing temporal aspects of SMIL documents us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IJCSA
دوره 3 شماره
صفحات -
تاریخ انتشار 2006